Variables
x1::[1..10]
x2::[1..10]
x3::[1,5]
x4::[1,2,5..33]
x5::[1..10,50]
x6::[1..5,9,10]
x7::[1..5,10..15]
x8::[1..5]
x9::[1..5]
x10::[1..5]
Constraints
x1=x2
x1>x3
x2>x3
x2>x4
x3<x8
x4<x5
x4=x6
x5>=x7
x6>x7
x7!=x9
x8<=x9
x8>=x10
x9>=x10